(Formal uniform: 1